$\forall$$i$:Id, $T$:Type, $v$:$T$, $x$:Id. @$i$: $x$:$T$ initially $x$ = $v$ $\in$ Dsys